The Schröder-Bernstein property for weakly minimal theories

نویسندگان

  • John Goodrick
  • Michael C. Laskowski
چکیده

For a countable, weakly minimal theory T , we show that the SchröderBernstein property (any two elementarily bi-embeddable models are isomorphic) is equivalent to each of the following: 1. For any U -rank-1 type q ∈ S(acl(∅)) and any automorphism f of the monster model C, there is some n < ω such that f(q) is not almost orthogonal to q ⊗ f(q)⊗ . . .⊗ fn−1(q); 2. T has no infinite collection of models which are pairwise elementarily bi-embeddable but pairwise nonisomorphic. We conclude that for countable, weakly minimal theories, the SchröderBernstein property is absolute between transitve models of ZFC.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Schröder-Bernstein Property for Theories of Abelian Groups

A first-order theory has the Schröder-Bernstein Property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove (as Theorem 3.8): Theorem 1. If G is an abelian group, then the following are equivalent: 1. Th(G,+) has the Schröder-Bernstein property; 2. Th(G,+) is ω-stable; 3. G is the direct sum of a divisible group and a torsion group of

متن کامل

The Schröder-Bernstein property for a-saturated models

A first-order theory T has the Schröder-Bernstein (SB) property if any pair of elementarily bi-embeddable models are isomorphic. We prove that T has an expansion by constants that has the SB property if and only if T is superstable and non-multidimensional. We also prove that among superstable theories T , the class of a-saturated models of T has the SB property if and only if T has no nomadic ...

متن کامل

Vapnik-chervonenkis Density in Some Theories without the Independence Property, I

We recast the problem of calculating Vapnik-Chervonenkis (VC) density into one of counting types, and thereby calculate bounds (often optimal) on the VC density for some weakly o-minimal, weakly quasi-o-minimal, and P -minimal theories.

متن کامل

On Ideals Which Have the Weakly Insertion of Factors Property

A one-sided ideal of a ring has the insertion of factors property (or simply, IFP) if implies r for . We say a one-sided ideal of has the weakly IFP if for each , implies , for some non-negative integer . We give some examples of ideals which have the weakly IFP but have not the IFP. Connections between ideals of which have the IFP and related ideals of some ring extensions a...

متن کامل

On uniform definability of types over finite sets

In this paper, using definability of types over indiscernible sequences as a template, we study a property of formulas and theories called “uniform definability of types over finite sets” (UDTFS). We explore UDTFS and show how it relates to well-known properties in model theory. We recall that stable theories and weakly o-minimal theories have UDTFS and UDTFS implies dependence. We then show th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010